1. Abstract recursion and intrinsic complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده: Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Algorithm design
پدیدآورنده: Paull, Marvin C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursion theory►Algorithms
رده :
9
.
6
.
P38
4. Algorithm design : a recursion transformation framework
پدیدآورنده: Paull, Marvin C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
5. Algorithmics :
پدیدآورنده: Gilles Brassard and Paul Bratley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
6. Algorithmics
پدیدآورنده: Gilles Brassard and Paul Bratley,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
7. Algorithmics
پدیدآورنده: / Gilles Brassard and Paul Bratley
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Recursion theory,Algorithms
رده :
QA
9
.
6
.
B73
1988
8. Algorithmics
پدیدآورنده: Brassard, Gilles, 1955-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursion theory►Algorithms
رده :
9
.
6
.
B73
9. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
10. Algorithmics:theory and practice
پدیدآورنده: BRASSAARD,GILLES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
11. Algorithmics : theory and practice
پدیدآورنده: Brassard, Gilles
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
12. Algorithmics : theory and practice
پدیدآورنده: / Gilles Brassard and Paul Bratley
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Recursion theory,Algorithms
رده :
QA9
.
6
.
B73
1987
13. Algorithmics : theory and practice
پدیدآورنده: Brassard, Gilles, 5591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
14. Algorithmics: theory and practice
پدیدآورنده: Brassard, Gilles
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
15. Algorithmics: theory and practice
پدیدآورنده: Brassard, Gilles
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
16. Algorithms and data structures :
پدیدآورنده: Douglas Baldwin and Greg W. Scragg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
رده :
QA76
.
9
.
A43
B35
2004
17. Automata, Languages and Programming :
پدیدآورنده: edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.
18. Automata, languages, and programming :
پدیدآورنده: edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
19. Automata, languages and programming :
پدیدآورنده: ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
20. Computational Logic - CL 2000 :
پدیدآورنده: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
